TAGs: a two-column proof